English translation for "raisonnement automatisé"

automated reasoning

Example Sentences:

	1.	The most developed subareas of automated reasoning are automated theorem proving (and the less automated but more pragmatic subfield of interactive theorem proving) and automated proof checking (viewed as guaranteed correct reasoning under fixed assumptions). Les sous-domaines les plus développés du raisonnement automatisé sont probablement l'assistant de preuve (qui en pratique se trouve être plus pragmatique mais moins automatisé que sa théorie), la démonstration automatique de théorèmes et la vérification de preuve (procédé qui garantit un raisonnement correct en se basant sur l'axiome selon lequel les hypothèses fournies sont justes).
	2.	After a post-doctorate at the Swiss Federal Institute of Technology in Lausanne (EPFL) 2007, he joined CNRS where he studied and contributed to the field of modal logics, like the modal mu-calculus, that he used for modeling query languages, and allow for the automated reasoning about programs that manipulate structured data. Après un post-doctorat à l'École polytechnique fédérale de Lausanne, il entre au CNRS en 2007, où il étudie et contribue aux logiques dynamiques, comme le mu-calcul modal, qu'il utilise pour modéliser les langages de requêtes, et permettre le raisonnement automatisé sur les programmes manipulant des données structurées.

Similar Words：

"raison, déraison" English translation, "raisonnable" English translation, "raisonnable (1755)" English translation, "raisonnablement" English translation, "raisonnement" English translation, "raisonnement circulaire" English translation, "raisonnement contre-factuel" English translation, "raisonnement diagrammatique" English translation, "raisonnement dichotomique" English translation